Reliability And Timing Analysis of Distributed systems

Modelling and analysis are important tools in the development of safety critical real-time systems. The introduction of state-of-the-art analysis techniques in industry is however rather slow. One reason for this is the pessimism in models and analysis, e.g., schedulability analysis for realistic systems are typically based on simplifying assumptions which leads to pessimism that forces designers to make costly overdesigns, dimensioning the system for worst-case situations that may never occur. At the same time, the over all system requirement is to satisfy a reliability measure of, say, at most 10 faults per hour.